/* API of the task list.
 * See task_list.c for more information
 */

void   task_list_add    (task_t t);
void   task_list_remove (task_t t);
task_t task_list_next   (task_t t);
